170 research outputs found
Fixed parameter tractable algorithms in combinatorial topology
To enumerate 3-manifold triangulations with a given property, one typically
begins with a set of potential face pairing graphs (also known as dual
1-skeletons), and then attempts to flesh each graph out into full
triangulations using an exponential-time enumeration. However, asymptotically
most graphs do not result in any 3-manifold triangulation, which leads to
significant "wasted time" in topological enumeration algorithms. Here we give a
new algorithm to determine whether a given face pairing graph supports any
3-manifold triangulation, and show this to be fixed parameter tractable in the
treewidth of the graph.
We extend this result to a "meta-theorem" by defining a broad class of
properties of triangulations, each with a corresponding fixed parameter
tractable existence algorithm. We explicitly implement this algorithm in the
most generic setting, and we identify heuristics that in practice are seen to
mitigate the large constants that so often occur in parameterised complexity,
highlighting the practicality of our techniques.Comment: 16 pages, 9 figure
Star-graph expansions for bond-diluted Potts models
We derive high-temperature series expansions for the free energy and the
susceptibility of random-bond -state Potts models on hypercubic lattices
using a star-graph expansion technique. This method enables the exact
calculation of quenched disorder averages for arbitrary uncorrelated coupling
distributions. Moreover, we can keep the disorder strength as well as the
dimension as symbolic parameters. By applying several series analysis
techniques to the new series expansions, one can scan large regions of the
parameter space for any value of . For the bond-diluted 4-state
Potts model in three dimensions, which exhibits a rather strong first-order
phase transition in the undiluted case, we present results for the transition
temperature and the effective critical exponent as a function of
as obtained from the analysis of susceptibility series up to order 18. A
comparison with recent Monte Carlo data (Chatelain {\em et al.}, Phys. Rev.
E64, 036120(2001)) shows signals for the softening to a second-order transition
at finite disorder strength.Comment: 8 pages, 6 figure
Tight local approximation results for max-min linear programs
In a bipartite max-min LP, we are given a bipartite graph \myG = (V \cup I
\cup K, E), where each agent is adjacent to exactly one constraint
and exactly one objective . Each agent controls a
variable . For each we have a nonnegative linear constraint on
the variables of adjacent agents. For each we have a nonnegative
linear objective function of the variables of adjacent agents. The task is to
maximise the minimum of the objective functions. We study local algorithms
where each agent must choose based on input within its
constant-radius neighbourhood in \myG. We show that for every
there exists a local algorithm achieving the approximation ratio . We also show that this result is the best possible
-- no local algorithm can achieve the approximation ratio . Here is the maximum degree of a vertex , and
is the maximum degree of a vertex . As a methodological
contribution, we introduce the technique of graph unfolding for the design of
local approximation algorithms.Comment: 16 page
Kochen-Specker Sets and Generalized Orthoarguesian Equations
Every set (finite or infinite) of quantum vectors (states) satisfies
generalized orthoarguesian equations (OA). We consider two 3-dim
Kochen-Specker (KS) sets of vectors and show how each of them should be
represented by means of a Hasse diagram---a lattice, an algebra of subspaces of
a Hilbert space--that contains rays and planes determined by the vectors so as
to satisfy OA. That also shows why they cannot be represented by a special
kind of Hasse diagram called a Greechie diagram, as has been erroneously done
in the literature. One of the KS sets (Peres') is an example of a lattice in
which 6OA pass and 7OA fails, and that closes an open question of whether the
7oa class of lattices properly contains the 6oa class. This result is important
because it provides additional evidence that our previously given proof of noa
=< (n+1)oa can be extended to proper inclusion noa < (n+1)oa and that nOA form
an infinite sequence of successively stronger equations.Comment: 16 pages and 5 figure
Quasirandom permutations are characterized by 4-point densities
For permutations Ï and Ï of lengths |Ï|â€|Ï| , let t(Ï,Ï) be the probability that the restriction of Ï to a random |Ï| -point set is (order) isomorphic to Ï . We show that every sequence {Ïj} of permutations such that |Ïj|ââ and t(Ï,Ïj)â1/4! for every 4-point permutation Ï is quasirandom (that is, t(Ï,Ïj)â1/|Ï|! for every Ï ). This answers a question posed by Graham
Hilbert Lattice Equations
There are five known classes of lattice equations that hold in every infinite
dimensional Hilbert space underlying quantum systems: generalised
orthoarguesian, Mayet's E_A, Godowski, Mayet-Godowski, and Mayet's E equations.
We obtain a result which opens a possibility that the first two classes
coincide. We devise new algorithms to generate Mayet-Godowski equations that
allow us to prove that the fourth class properly includes the third. An open
problem related to the last class is answered. Finally, we show some new
results on the Godowski lattices characterising the third class of equations.Comment: 24 pages, 3 figure
Uniform random generation of large acyclic digraphs
Directed acyclic graphs are the basic representation of the structure
underlying Bayesian networks, which represent multivariate probability
distributions. In many practical applications, such as the reverse engineering
of gene regulatory networks, not only the estimation of model parameters but
the reconstruction of the structure itself is of great interest. As well as for
the assessment of different structure learning algorithms in simulation
studies, a uniform sample from the space of directed acyclic graphs is required
to evaluate the prevalence of certain structural features. Here we analyse how
to sample acyclic digraphs uniformly at random through recursive enumeration,
an approach previously thought too computationally involved. Based on
complexity considerations, we discuss in particular how the enumeration
directly provides an exact method, which avoids the convergence issues of the
alternative Markov chain methods and is actually computationally much faster.
The limiting behaviour of the distribution of acyclic digraphs then allows us
to sample arbitrarily large graphs. Building on the ideas of recursive
enumeration based sampling we also introduce a novel hybrid Markov chain with
much faster convergence than current alternatives while still being easy to
adapt to various restrictions. Finally we discuss how to include such
restrictions in the combinatorial enumeration and the new hybrid Markov chain
method for efficient uniform sampling of the corresponding graphs.Comment: 15 pages, 2 figures. To appear in Statistics and Computin
Novel techniques for automorphism group computation
Graph automorphism (GA) is a classical problem, in which the objective is to compute the automorphism group of an input graph.
In this work we propose four novel techniques to speed up algorithms that solve the GA problem by exploring a search tree. They increase the performance of the algorithm by allowing to reduce the depth of the search tree, and by effectively pruning it.
We formally prove that a GA algorithm that uses these techniques correctly computes the automorphism group of the input graph. We also describe how the techniques have been incorporated into the GA algorithm conauto, as conauto-2.03, with at most an additive polynomial increase in its asymptotic time complexity.
We have experimentally evaluated the impact of each of the above techniques with several graph families. We have observed that each of the techniques by itself significantly reduces the number of processed nodes of the search tree in some subset of graphs, which justifies the use of each of them. Then, when they are applied together, their effect is combined, leading to reductions in the number of processed nodes in most graphs. This is also reflected in a reduction of the running time, which is substantial in some graph families
- âŠ